inverse function properties